A formal or virtual procedure must be specified with respect to its type, and type, kind and transmission mode of its parameters.